<html>
<body>
<h1>Drawing</h1>
<p>
The rightmost sub window of the system editor is used
for drawing automata. There are currently two drawing
modes, named "Select Mode" and "Transition Mode". The
two buttons in the upper left corner of the system
editor are used for switching between the two modes.

<p>In select mode, double clicking a (drawing) object causes a
property dialog to be opened in which the properties of the object
can be modified. Double clicking at any other position inserts a 
new state. It is also possible to open a
pop-up menu by clicking an object with the right
mouse button. A pop-up menu appears that has items for editing, 
displaying generated syntax errors, and for deleting the object 
(the exact menu items depend on the object type). Objects can be 
moved by pressing the left mouse button and dragging the object. 
It is also possible to mark several objects in a rectangular area 
and move all the marked objects. Objects can be added or removed from
the selection by clicking the object while the Control
key on the keyboard is pressed.

<p>The transition mode is used for inserting new 
transitions. This is done by first clicking the source 
state, then the positions that will become the nails 
of the transition, and finally the destination state. Most other 
objects will behave like in select mode.

</body>
</html>
